python list files in a directory with extension